Towards Formal Validation of Trust and Security in the Internet of Services
Identifieur interne : 002621 ( Main/Exploration ); précédent : 002620; suivant : 002622Towards Formal Validation of Trust and Security in the Internet of Services
Auteurs : Roberto Carbone [Italie] ; Marius Minea [Roumanie] ; Sebastian Alexander Mödersheim [Danemark] ; Serena Elisa Ponta [France, Italie] ; Mathieu Turuani [France] ; Luca Vigan [Italie]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: Service designers and developers, while striving to meet the requirements posed by application scenarios, have a hard time to assess the trust and security impact of an option, a minor change, a combination of functionalities, etc., due to the subtle and unforeseeable situations and behaviors that can arise from this panoply of choices. This often results in the release of flawed products to end-users. This issue can be significantly mitigated by empowering designers and developers with tools that offer easy to use graphical interfaces and notations, while employing established verification techniques to efficiently tackle industrial-size problems. The formal verification of trust and security of the Internet of Services will significantly boost its development and public acceptance.
Url:
DOI: 10.1007/978-3-642-20898-0_14
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002C34
- to stream Istex, to step Curation: 002B97
- to stream Istex, to step Checkpoint: 000521
- to stream Main, to step Merge: 002663
- to stream Main, to step Curation: 002621
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Towards Formal Validation of Trust and Security in the Internet of Services</title><author><name sortKey="Carbone, Roberto" sort="Carbone, Roberto" uniqKey="Carbone R" first="Roberto" last="Carbone">Roberto Carbone</name></author><author><name sortKey="Minea, Marius" sort="Minea, Marius" uniqKey="Minea M" first="Marius" last="Minea">Marius Minea</name></author><author><name sortKey="Modersheim, Sebastian Alexander" sort="Modersheim, Sebastian Alexander" uniqKey="Modersheim S" first="Sebastian Alexander" last="Mödersheim">Sebastian Alexander Mödersheim</name></author><author><name sortKey="Ponta, Serena Elisa" sort="Ponta, Serena Elisa" uniqKey="Ponta S" first="Serena Elisa" last="Ponta">Serena Elisa Ponta</name></author><author><name sortKey="Turuani, Mathieu" sort="Turuani, Mathieu" uniqKey="Turuani M" first="Mathieu" last="Turuani">Mathieu Turuani</name></author><author><name sortKey="Vigan, Luca" sort="Vigan, Luca" uniqKey="Vigan L" first="Luca" last="Vigan">Luca Vigan</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:BAC7FD106DDA6D1717A6718729CBB3EB2FF4809E</idno><date when="2011" year="2011">2011</date><idno type="doi">10.1007/978-3-642-20898-0_14</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-SZ5N9DN0-5/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">002C34</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002C34</idno><idno type="wicri:Area/Istex/Curation">002B97</idno><idno type="wicri:Area/Istex/Checkpoint">000521</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000521</idno><idno type="wicri:doubleKey">0302-9743:2011:Carbone R:towards:formal:validation</idno><idno type="wicri:Area/Main/Merge">002663</idno><idno type="wicri:Area/Main/Curation">002621</idno><idno type="wicri:Area/Main/Exploration">002621</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Towards Formal Validation of Trust and Security in the Internet of Services</title><author><name sortKey="Carbone, Roberto" sort="Carbone, Roberto" uniqKey="Carbone R" first="Roberto" last="Carbone">Roberto Carbone</name><affiliation wicri:level="1"><country xml:lang="fr">Italie</country><wicri:regionArea>Security & Trust Unit, FBK, Trento</wicri:regionArea><wicri:noRegion>Trento</wicri:noRegion></affiliation></author><author><name sortKey="Minea, Marius" sort="Minea, Marius" uniqKey="Minea M" first="Marius" last="Minea">Marius Minea</name><affiliation wicri:level="1"><country xml:lang="fr">Roumanie</country><wicri:regionArea>Institute e-Austria, Timişoara</wicri:regionArea><wicri:noRegion>Timişoara</wicri:noRegion></affiliation></author><author><name sortKey="Modersheim, Sebastian Alexander" sort="Modersheim, Sebastian Alexander" uniqKey="Modersheim S" first="Sebastian Alexander" last="Mödersheim">Sebastian Alexander Mödersheim</name><affiliation wicri:level="1"><country xml:lang="fr">Danemark</country><wicri:regionArea>DTU, Lyngby</wicri:regionArea><wicri:noRegion>Lyngby</wicri:noRegion></affiliation></author><author><name sortKey="Ponta, Serena Elisa" sort="Ponta, Serena Elisa" uniqKey="Ponta S" first="Serena Elisa" last="Ponta">Serena Elisa Ponta</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>SAP Research, Mougins</wicri:regionArea><wicri:noRegion>Mougins</wicri:noRegion><wicri:noRegion>Mougins</wicri:noRegion></affiliation><affiliation wicri:level="1"><country xml:lang="fr">Italie</country><wicri:regionArea>DIST, Università di Genova</wicri:regionArea><wicri:noRegion>Università di Genova</wicri:noRegion></affiliation></author><author><name sortKey="Turuani, Mathieu" sort="Turuani, Mathieu" uniqKey="Turuani M" first="Mathieu" last="Turuani">Mathieu Turuani</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>LORIA & INRIA, Nancy Grand Est</wicri:regionArea><wicri:noRegion>Nancy Grand Est</wicri:noRegion><wicri:noRegion>Nancy Grand Est</wicri:noRegion></affiliation></author><author><name sortKey="Vigan, Luca" sort="Vigan, Luca" uniqKey="Vigan L" first="Luca" last="Vigan">Luca Vigan</name><affiliation wicri:level="1"><country xml:lang="fr">Italie</country><wicri:regionArea>Dipartimento di Informatica, Università di Verona</wicri:regionArea><wicri:noRegion>Università di Verona</wicri:noRegion></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Service designers and developers, while striving to meet the requirements posed by application scenarios, have a hard time to assess the trust and security impact of an option, a minor change, a combination of functionalities, etc., due to the subtle and unforeseeable situations and behaviors that can arise from this panoply of choices. This often results in the release of flawed products to end-users. This issue can be significantly mitigated by empowering designers and developers with tools that offer easy to use graphical interfaces and notations, while employing established verification techniques to efficiently tackle industrial-size problems. The formal verification of trust and security of the Internet of Services will significantly boost its development and public acceptance.</div></front></TEI><affiliations><list><country><li>Danemark</li><li>France</li><li>Italie</li><li>Roumanie</li></country></list><tree><country name="Italie"><noRegion><name sortKey="Carbone, Roberto" sort="Carbone, Roberto" uniqKey="Carbone R" first="Roberto" last="Carbone">Roberto Carbone</name></noRegion><name sortKey="Ponta, Serena Elisa" sort="Ponta, Serena Elisa" uniqKey="Ponta S" first="Serena Elisa" last="Ponta">Serena Elisa Ponta</name><name sortKey="Vigan, Luca" sort="Vigan, Luca" uniqKey="Vigan L" first="Luca" last="Vigan">Luca Vigan</name></country><country name="Roumanie"><noRegion><name sortKey="Minea, Marius" sort="Minea, Marius" uniqKey="Minea M" first="Marius" last="Minea">Marius Minea</name></noRegion></country><country name="Danemark"><noRegion><name sortKey="Modersheim, Sebastian Alexander" sort="Modersheim, Sebastian Alexander" uniqKey="Modersheim S" first="Sebastian Alexander" last="Mödersheim">Sebastian Alexander Mödersheim</name></noRegion></country><country name="France"><noRegion><name sortKey="Ponta, Serena Elisa" sort="Ponta, Serena Elisa" uniqKey="Ponta S" first="Serena Elisa" last="Ponta">Serena Elisa Ponta</name></noRegion><name sortKey="Turuani, Mathieu" sort="Turuani, Mathieu" uniqKey="Turuani M" first="Mathieu" last="Turuani">Mathieu Turuani</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002621 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 002621 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:BAC7FD106DDA6D1717A6718729CBB3EB2FF4809E
|texte= Towards Formal Validation of Trust and Security in the Internet of Services
}}
| This area was generated with Dilib version V0.6.33. |  |